Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

In this paper, we consider the forbidden state problem in discrete event systems modeled by partially observed and partially controlled Petri nets. Assuming that the reverse net of the uncontrollable subnet of the Petri net is structurally bounded, we compute a set of weakly forbidden markings This work was supported in part by the United States National Science Foundation (NSF), under NSF CNS Award 0834409. The research leading to these results has also received funding from the European Commission (EC) International Curriculum Option on Hybrid Control for Complex, Distributed and Heterogeneous Embedded Systems (http://www.piaggio.ccii.unipi.it/ICO/), and the European Commission Seventh Framework Programme (FP7/2007-2013) under grant agreements INFSO-ICT-223844 and PIRG02-GA-2007-224877. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of NSF or EC. Yu Ru Department of Mechanical and Aerospace Engineering University of California, San Diego San Diego, CA, USA E-mail: [email protected] Maria Paola Cabasino and Alessandro Giua Department of Electrical and Electronic Engineering University of Cagliari 09123 Cagliari, Italy E-mail: [email protected]; [email protected] Christoforos N. Hadjicostis Department of Electrical and Computer Engineering University of Cyprus and University of Illinois at Urbana-Champaign Address for Correspondence University of Cyprus 75 Kallipoleos Avenue P.O.Box 20537 1678 Nicosia, Cyprus Tel: +357 22-892231 Fax: +357 22-892260 E-mail: [email protected]